int4 g() {
  return (0).xxxx;
}

void main() {
  g();
  return;
}
